Temporal Logics in Computer Science: Finite-State Systems: 58 (Cambridge Tracts in Theoretical Computer Science, Series Number 58)
by Stéphane Demri,Valentin Goranko,Martin Lange
ISBN 13: 9781107028364
Format: Hardcover (752 pages) Publisher: Cambridge University Press Published: 30 Sep 2016
Save for later
Advances in Modal Logic Volume 8
by Lev Beklemishev, Valentin Shehtman, Valentin Goranko
ISBN 13: 9781848900134
Format: Paperback (518 pages) Publisher: College Publications Published: 23 Jul 2010